181. FME 2003 :
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer software-- Development, Congresses,Formal methods (Computer science), Congresses,System design-- Mathematics, Congresses
Classification :
QA76
.
76
.
D47
I593
2003
182. FME'96 : Industrial benefit of formal methods : Thrid International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
Author: Marie-Claude Gaudel, James Woodcock )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
1051
183. FME 2003 : formal methods : International Symposium of Formal Methods Europe, Pisa, Italy, September 8-14, 2003 : proceedings
Author: Keijiro Araki, Stefania Gnesi, Dino Mandrioli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2805
184. FME 2001 : formal methods for increasing software productivity : ]10th[ International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
Author: Jose Nuno Oliveira, Pamela Zave )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
2021
185. FME 2002 : formal methods-getting it right : International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002 : proceedings
Author: Lars-Henrik Eriksson, Peter Alexander Lindsay )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development,Congresses ، Formal methods )Computer science(,Mathematics -- Congresses ، System design
Classification :
QA
76
.
L28
Vol
.
2391
186. FME'94 : industrial benefit of formal methods : Second International Symposium of Formal Methods Europe Barcelona, Spain, October 24 - 28, 1994, proceedings
Author: Maurice Naftalin, Tim Denvir, Miquet Bertran )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
873
187. FME '93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- Congresses
Classification :
QA
76
.
76
.
D47
.
I593
1993
188. FME'93 : industrial-strength formal methods : First International Symposium of Formal Methods Europe Odense, Denmark, April 19-23, 1993 proceedings
Author: J.C.P. Woodcock, P.G. Larsen )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
670
189. First IEEE International Conference Conference ]sic[ on Formal Engineering Methods: proceedings, Hiroshima, Japan, November 12-14, 1997
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Congresses ، Engineering-- Methodology,Congresses ، Computer software-- Development
Classification :
TA
5
.
I415
1997
190. Formal aspects of component software :
Author: Kyungmin Bae, Peter Csaba Ölveczky (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Component software, Congresses.,Formal methods (Computer science), Congresses.,Logics and Meanings of Programs.,Component software.,Computer programming / software development.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
191. Formal methods :
Author: Tiago Massoni, Mohammad Reza Mousavi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
Classification :
QA76
.
9
.
F67
192. Formal methods and software development
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer software-- Development-- Congresses
Classification :
QA
76
.
76
.
D47
.
I57
1985
vol
.
2
193. Formal methods and software engineering :
Author: Shengchao Qin, Zongyan Qiu (edition)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses,Software engineering, Congresses,Formal methods (Computer science)-- Congresses,Software engineering-- Congresses
Classification :
QA76
.
9
.
F67
I34
2011
194. Formal methods and software engineering :
Author: Jing Sun, Meng Sun (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer programming-- software development.,Computers-- Expert Systems.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Formal methods (Computer science),Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software engineering.,Software Engineering.,Systems analysis & design.
Classification :
QA76
.
9
.
F67
195. Formal methods for industrial critical systems :
Author: Falk Howar, Jiří Barnat (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses.,Computer programs-- Verification, Congresses.,Computer software-- Reliability, Congresses.,Computer software-- Verification, Congresses.,Formal methods (Computer science), Congresses.,Software engineering, Congresses.,Computer Systems Organization and Communication Networks.,Programming Languages, Compilers, Interpreters.,Simulation and Modeling.,Software Engineering.,The Computing Profession.,Theory of Computation.,3D graphics & modelling.,Computer networking & communications.,Computer programs-- Reliability.,Computer programs-- Verification.,Computer science.,Computer software-- Reliability.,Computer software-- Verification.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- General.,Computers-- Hardware-- General.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Information technology: general issues.,Programming & scripting languages: general.,Software engineering.,Software Engineering.
Classification :
QA76
.
9
.
F67
I58
2018eb
196. Formal methods for industrial critical systems :
Author: Gwen Salaün, Bernhard Schätz (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programs-- Reliability, Congresses,Computer programs-- Verification, Congresses,Computer software-- Reliability, Congresses,Computer software-- Verification, Congresses,Formal methods (Computer science), Congresses,Software engineering, Congresses
Classification :
QA76
.
9
.
F67
I58
2011
197. Formal methods for mobile computing : 5th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM-Moby 2005, Bertinoro, Italy, April 26-30, 2005 : advanced lectures
Author: Marco Bernardo, Alessandro Bogliolo )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Mobile computing,Congresses ، Formal methods )Computer science(,Congresses ، Computer software -- Development
Classification :
QA
76
.
L28
Vol
.
3465
198. Formal methods for multicore programming
Author: \ Marco Bernardo , Einar Broch Johnsen (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer software -- Development -- Congresses.,Formal methods (Computer science) -- Congresses.,Software engineering.,نرمافزار -- تولید -- کنگره ها ,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
QA
76
.
76
.
F6
2015
E-Book
,
199. Formal methods for software architectures :
Author: Marco Bernardo, Paola Inverardi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
200. Formal methods for software architectures :
Author: Marco Bernardo, Paola Inverardi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer architecture -- Congresses.,Computer software -- Congresses.,System design -- Congresses.
Classification :
QA76
.
9
.
F67
M373
2003
